Compiler construction

Results: 1898



#Item
821Virtual machines / Compiler optimizations / Cross-platform software / Application programming interfaces / Just-in-time compilation / Static single assignment form / Inline expansion / C / Branch / Software / Computing / Compiler construction

Stranger in These Parts A Hired Gun in the JS Corral Andy Wingo JSConf 2012 1

Add to Reading List

Source URL: wingolog.org

Language: English - Date: 2012-04-02 10:39:27
822Computing / Parsing / Compiler construction / Compiler-compiler / Smalltalk / Syntax / Abstract syntax tree / LALR parser / Recursive descent parser / Software engineering / Formal languages / Computer programming

Running Ometa Parsers Backwards for Source to Source Translation Ted Kaehler and Alessandro Warth VPRI Memo M[removed]

Add to Reading List

Source URL: www.vpri.org

Language: English - Date: 2015-01-21 19:16:15
823Central processing unit / Parallel computing / Itanium / Compilers / Compiler construction / GNU Compiler Collection / CPU cache / Branch predication / Symmetric multiprocessing / Computing / Computer architecture / Software

Hot Chips 13 August 21, 2001 Itanium Performance Insights from the IMPACT Compiler

Add to Reading List

Source URL: www.hotchips.org

Language: English - Date: 2013-07-27 23:39:58
824Decompiler / Computing / Control flow graph / Data-flow analysis / Algorithm / Static single assignment form / Control flow / Compiler / Graph / Compiler construction / Mathematics / Software

Native x86 Decompilation using Semantics-Preserving Structural Analysis and Iterative Control-Flow Structuring Edward J. Schwartz JongHyup Lee

Add to Reading List

Source URL: users.ece.cmu.edu

Language: English - Date: 2014-12-17 15:18:11
825Programming language implementation / Type theory / Procedural programming languages / Compiler construction / Functional languages / Compiler / Type inference / Type system / Type safety / Software engineering / Computing / Programming language theory

Scalable Certification for Typed Assembly Language Dan Grossman and Greg Morrisett 

Add to Reading List

Source URL: www.cs.cornell.edu

Language: English - Date: 2001-03-05 11:41:46
826Data types / Procedural programming languages / Compiler construction / Pointer / Datalog / Compiler / C / Data-flow analysis / Void type / Software engineering / Computing / Computer programming

Lecture 10 Pointer Analysis 1. Datalog 2. Context-insensitive, flow-insensitive pointer analysis 3. Context sensitivity Readings: Chapter 12

Add to Reading List

Source URL: dragonbook.stanford.edu

Language: English - Date: 2008-09-08 14:03:49
827Programming language implementation / Assemblers / Acorn Computers / ARM architecture / Compiler construction / Assembly language / ARMulator / Microsoft Macro Assembler / Object file / Software / Computing / Computer architecture

ARM Software Development Toolkit Version 2.11 Document Number: ARM DUI 0041B Issued: June 1997 Copyright Advanced RISC Machines Ltd (ARM) 1997

Add to Reading List

Source URL: www.ee.ic.ac.uk

Language: English - Date: 2001-10-22 12:03:31
828Compiler construction / Compiling tools / LALR parser / Parser generators / LR parser / Formal languages / LL parser / Lookahead / Parsing / Programming language implementation / Software / Computing

Microsoft Word - 11-LALR-Parsing.doc

Add to Reading List

Source URL: dragonbook.stanford.edu

Language: English - Date: 2008-09-08 17:10:19
829Subroutines / Programming language implementation / Compiler construction / Procedural programming languages / Compiler optimizations / Calling convention / Compiler / Function prologue / Stack / Software engineering / Computing / Computer programming

Formal Certification of a Compiler Back-end or: Programming a Compiler with a Proof Assistant Xavier Leroy INRIA Rocquencourt [removed]

Add to Reading List

Source URL: gallium.inria.fr

Language: English - Date: 2005-11-14 05:48:57
830Compiler optimizations / Programming language implementation / Compiler construction / Inline expansion / Subroutines / Program optimization / Loop unwinding / Compiler / Type system / Software engineering / Computing / Computer programming

Optimization Coaching ∗ Optimizers Learn to Communicate with Programmers Vincent St-Amour Sam Tobin-Hochstadt

Add to Reading List

Source URL: www.ccs.neu.edu

Language: English - Date: 2015-03-24 18:44:54
UPDATE